area theorem